Postmodernism Meets Practical Reason

Two Dualisms of Practical Reason

Dualism is one way to put the traditional dualism of practical reason, i.e., that practical reason can never declare that there is greater overall reason to conform to moral, or prudential, requirements in a case of conflict between our own self-interest and our obligations to others.1 In this paper, I distinguish two methods by which one might accept Dualism. First, I discuss a substantive dua...

Practical Reason and the Possibility of Error

Dependent Type Theory Meets Practical Programming

Modern programming languagees rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (des...

Names, Equations, Relations: Practical Ways to Reason about new

The nu-calculus of Pitts and Stark is a typed lambda-calculus, extended with state in the form of dynamically-generated names. These names can be created locally, passed around, and compared with one another. Through the interaction between names and functions, the language can capture notions of scope, visibility and sharing. Originally motivated by the study of references in Standard ML, the ...

A defense of Immanuel Kant's notion of practical reason

A defense of Immanuel Kant's notion of practical reason" (1993). CUNY Academic Works. ACKNOWLEDGEMENT I would like to express my sincere appreciation to my advisor, Dr. Schwarzenbach, for her assistance in this project. I am especially grateful for the content of her instruction and the work ethic she has instilled in me; each of which I am confident will have a significant influence in much of...